<?php
	if(!isset($_SESSION['js'])){ $_SESSION['js'] = true;}
	if(isset($_GET['js']))
	{
			if($_GET['js'] == "no" ) {$_SESSION['js'] = false;}
			else if($_GET['js'] == "yes") {$_SESSION['js'] = true;}
	}
	// si javascript est activé le <noscript> ne sera pas prise en compte
	if($_SESSION['js'])
	{
	// dans le cas contraire on recharge la page avec le parametre js=no
	$trans = array("&" => "&amp;");
	echo '<noscript><meta http-equiv="Refresh" content="0; URL='.strtr($_SERVER['REQUEST_URI'], $trans).'&amp;js=no"/></noscript>';
	}
	// s'il est pas activé le <script> ne sera pas prise en compte
	else
	{
	// dans le cas contraire on recharge la page avec le parametre js=yes
	echo '<script type="text/javascript">
	document.location.href="'.$_SERVER['REQUEST_URI'].'&js=yes";
	</script>';
	}
	if(!($_SESSION['js'])){
			echo'<span>Pour faciliter votre navigation sur notre site veuillez autoriser le JavaScript. Pour cela rendez vous dans les options de votre naviguateur.</span><br/><br/>';
	}
?>